#pragma once

#ifndef USE_REAL_CPU 
  #include "c_bfm_dpi.h"
  #include "uvm_hdl.h"

uint32_t veri_hdl_read(char* path);
void veri_hdl_force(char* path, uint32_t value);
void veri_hdl_release(char* path);

#else 
#endif
